Efficient Specification-Assisted Error Localization
نویسندگان
چکیده
We present a new error localization tool, Archie, that accepts a specification of key data structure consistency constraints, then generates an algorithm that checks if the data structures satisfy the constraints. We also present a set of specification analyses and optimizations that (for our benchmark software system) significantly improve the performance of the generated checking algorithm, enabling Archie to efficiently support interactive debugging. We evaluate Archie’s effectiveness by observing the actions of two developer populations (one using Archie, the other using standard error localization techniques) as they attempted to localize and correct three data structure corruption errors in a benchmark software system. With Archie, the developers were able to localize each error in less than 10 minutes and correct each error in (usually much) less than 20 minutes. Without Archie, the developers were, with one exception, unable to locate each error after more than an hour of effort.
منابع مشابه
Efficient Specification-Assisted Error Localization and Correction
We present a new error localization tool, Archie, that accepts a specification of key data structure consistency constraints, then generates an algorithm that checks if the data structures satisfy the constraints. We also present a set of specification analyses and optimizations that (for our benchmark software system) improve the performance of the generated checking algorithm by over a factor...
متن کاملA New Approach to Self-Localization for Mobile Robots Using Sensor Data Fusion
This paper proposes a new approach for calibration of dead reckoning process. Using the well-known UMBmark (University of Michigan Benchmark) is not sufficient for a desirable calibration of dead reckoning. Besides, existing calibration methods usually require explicit measurement of actual motion of the robot. Some recent methods use the smart encoder trailer or long range finder sensors such ...
متن کاملA Tagless Indoor Localization System Based on Capacitive Sensing Technology
Accurate indoor person localization is essential for several services, such as assisted living. We introduce a tagless indoor person localization system based on capacitive sensing and localization algorithms that can determine the location with less than 0.2 m average error in a 3 m × 3 m room and has recall and precision better than 70%. We also discuss the effects of various noise types on t...
متن کاملComputed tomography-guided localization of small lung nodules before video-assisted resection: experience with an efficient hook-wire system.
The rate of successful video-assisted thoracoscopic surgery (VATS) for resection of pulmonary nodules has improved since the development of radiologic localization techniques. The failure rate has decreased from 45% to 5%.1 Several techniques have been described, including methylene blue injection, hook-wire localization, and combined techniques, but none has proved entirely satisfactory.2-5 We...
متن کاملAutomatic Localization and Identification of Vertebrae in Arbitrary Field-of-View CT Scans
This paper presents a new method for automatic localization and identification of vertebrae in arbitrary field-of-view CT scans. No assumptions are made about which section of the spine is visible or to which extent. Thus, our approach is more general than previous work while being computationally efficient. Our algorithm is based on regression forests and probabilistic graphical models. The di...
متن کامل